Process creation and full sequential composition in a name-passing calculus

This paper presents the underlying theory for a process calculus featuring process creation and sequential composition instead of the more usual parallel composi tion and action pre xing in a setting where mobility is achieved by communicating channel names We discuss the questions of scope and name binding raised by the interaction of mobility and sequential composition Substitution of names is integrated as a syntactic operator in the calculus We present an axiomatic the ory for the calculus and show its soundness and completeness w r t bisimulation equivalence